|
|
AUTOMATED TESTING OF 10GbE DEVICES
Avramović, Nikola ; Dvořák, Vojtěch (referee) ; Fujcik, Lukáš (advisor)
Tato práce se zabývá návrhem modelu pro funkční verifikaci a návrhem syntetizovatelného testru 10Gb Ethernet zařízení, které používají XGMII rozhraní. Pro popis modelu je použit programovací jazyk VHDL. Práce zahrnuje vytváření bus functional modelu a návrh testru, který se implementuje jako genericky self-test modul. Výsledný návrh umožňuje verifikaci a testování PHY a MAC vrstve. Pro implementaci testru byla použita vývojová deska DE5-Net osazena FPGA obvodem Stratix V GX od firmy Altera.
|
|
|
Wireless Network Security
Sedlák, Břetislav ; Krajsa, Ondřej (referee) ; Lambertová, Petra (advisor)
Master thesis focuses on wireless network security. The thesis is divided in two parts. First part describes today’s used standards and their components, topology and security methods as stealth SSID, MAC addresses filtration, WEP, WPA and WPA2. The last three methods are described in detail. In second part there are realized attacks on above described methods of security. There are described attacks on WEP as KoreK chopchop attack, fragment attack, attack FMS, KoreK and attack PTW. Then is described the dictionary attack on passphrase by WPA/WPA2 with PreShared Key authentication obtaining, precomputed hash tables for faster passphrase finding and for using more core procesors during dictionary browsing. The last attack describes obtaining of keystream used for encrypting of frames by WPATKIP and then sending custom data to client. It is described how to carry out each attack and how to protect against them.
|
|
|
Evaluation of complex situations from airplane’s avionics
Vysloužil, Ondřej ; Svoboda,, Jiří (referee) ; Honzík, Petr (advisor)
Tento projekt se podrobně zaměřuje na data z avioniky a může být chápán jako horní vrstva nad systémy monitorujícími poruchy, která poskytuje dodatečné informace o letu. Pro konkrétní návrh byly vybrány Airbus A320 a A340 jako zástupci moderních a rozšířených dopravních letadel. Vyvíjená aplikace analyzuje dvě vybrané komplexní situace z toku dat palubní avioniky a hledá podmínky, které vedou k abnormálnímu chování letadla (nikoliv poruchám). Práce je primárně zaměřena na letové fáze, strukturu dat (a jejich kategorizaci) a na vývoj aplikace na bázi fuzzy systému s expertní znalostí uloženou v jeho pravidlech.
|
|
|
Attacks on Standard 802.11
Burian, Vojtěch ; Horváth, Tomáš (referee) ; Novotný, Bohumil (advisor)
Thesis is concerned about standard 802.11 especially wireless network security in historical and in current way. First part is focused on WEP secured wireless network problematics. Consequently, in different point of view we are focused on network security which was developed recently, for example WPA and WPA2 security. It will be marked the basic functioning and brief overview of standard 802.11, introduction to the known attacks on wireless network security and also indicate the main mistakes. Many older devices have only WEP security. Therefore, in this thesis is designed better and more coherent system of security of the WEP protocol. As well modern methods of security WPA and WPA2 are included. Second part is focused on the simulation of attack on security networks. In this part the problematic with beaking security WEP, WPA and WPA2 is discussed.
|
|
|
Tester for chosen sub-standard of the IEEE 802.1Q
Avramović, Nikola ; Dvořák, Vojtěch (referee) ; Fujcik, Lukáš (advisor)
Tato práce se zabývá analyzováním IEEE 802.1Q standardu TSN skupiny a návrhem testovacího modulu. Testovací modul je napsán v jazyku VHDL a je možné jej implementovat do Intel Stratix® V GX FPGA (5SGXEA7N2F45C2) vývojové desky. Standard IEEE 802.1Q (TSN) definuje deterministickou komunikace přes Ethernet sít, v reálném čase, požíváním globálního času a správným rozvrhem vysíláním a příjmem zpráv. Hlavní funkce tohoto standardu jsou: časová synchronizace, plánování provozu a konfigurace sítě. Každá z těchto funkcí je definovaná pomocí více různých podskupin tohoto standardu. Podle definice IEEE 802.1Q standardu je možno tyto podskupiny vzájemně libovolně kombinovat. Některé podskupiny standardu nemohou fungovat nezávisle, musí využívat funkce jiných podskupin standardu. Realizace funkce podskupin standardu je možná softwarově, hardwarově, nebo jejich kombinací. Na základě výše uvedených fakt, implementace podskupin standardu, které jsou softwarově související, byly vyloučené. Taky byly vyloučené podskupiny standardů, které jsou závislé na jiných podskupinách. IEEE 802.1Qbu byl vybrán jako vhodná část pro realizaci hardwarového testu. Různé způsoby testování byly vysvětleny jako DFT, BIST, ATPG a další jiné techniky. Pro hardwarové testování byla vybrána „Protocol Aware (PA)“technika, protože tato technika zrychluje testování, dovoluje opakovanou použitelnost a taky zkracuje dobu uvedení na trh. Testovací modul se skládá ze dvou objektů (generátor a monitor), které mají implementovanou IEEE 802.1Qbu podskupinu standardu. Funkce generátoru je vygenerovat náhodné nebo nenáhodné impulzy a potom je poslat do testovaného zařízeni ve správném definovaném protokolu. Funkce monitoru je přijat ethernet rámce a ověřit jejich správnost. Objekty jsou navrhnuty stejným způsobem na „TOP“úrovni a skládají se ze čtyř modulů: Avalon MM rozhraní, dvou šablon a jednoho portu. Avalon MM rozhraní bylo vytvořeno pro komunikaci softwaru s hardwarem. Tento modul přijme pakety ze softwaru a potom je dekóduje podle definovaného protokolu a „pod-protokolu “. „Pod-protokol“se skládá z příkazu a hodnoty daného příkazu. Podle dekódovaného příkazu a hodnot daných příkazem je kontrolovaný celý objekt. Šablona se používá na generování nebo ověřování náhodných nebo nenáhodných dat. Dvě šablony byly implementovány pro expresní ověřování nebo preempční transakce, definované IEEE 802.1Qbu. Porty byly vytvořené pro komunikaci mezi testovaným zařízením a šablonou podle daného standardu. Port „generátor“má za úkol vybrat a vyslat rámce podle priority a času vysílaní. Port „monitor“přijme rámce do „content-addressable memory”, která ověřuje priority rámce a podle toho je posílá do správné šablony. Výsledky prokázaly, že tato testovací technika dosahuje vysoké rychlosti a rychlé implementace.
|
|
| |
|
|
Design and verification of a facial relaxation program using facial balls in physical education classes for pupils in the 5th grades
MYNÁŘOVÁ, Lenka
The aim of the graduation thesis was to investigate influence of facia ball on children's motoric system. Graduation thesis is based on theoretic-didactical form. First part is analytical part. This part works around literature. From which is set specific training program for releasing of facia. Second part, practical part, deals with specific use of selected exercise and its results. Entering into summary of 15 selected compensatory exercises. After first examination is set, another exercise, including children in groups, took place on weekly basis for 8 weeks. Exercise was held at the end of physical education - as releasing exercise after workload. Afterwards the final examination was held. On same basis as the entry exercise. Then the efect of compensatory exercise will be deducted. This thesis should contribute in implementation of fascial ball into physical education. Thesis also anwers the question if it has influence on output results of FMS test. As Final summary we can say yes because almost all students got better after functional movement system after 8 weeks of workout with fascial ball.
|
|
|
Verification of a set of exercises aimed at releasing the fascia using the foam roller
KVĚTOŇ, Daniel
This graduation thesis verifies a pre-prepared stack of exercises, which was compiled in the bachelor's thesis and its effect on proper posture. Exercises with an exercise aid took place using a foam roller and a ball. 8 probands underwent the experiment, the study program Physical Education and Sport. Two test and evaluation methods were used for verification. The first method is a test file from Gray Cook (Functional Movement Screen), the second method of verification is the evaluation of the character according to Jaroš and Lomíček. Probands underwent initial measurements and were followed by an 8-week exercise, the exercise took place twice a week. The exercise consisted of 30 exercises, which were divided into 3 exercise units. After 8 weeks of practice, the verification was identical to the initial tests (FMS, evaluation of the figure of Jaroš and Lomíček). The t-test and Cohen's d statistics were used for comparison. In both tests, improvement was noted in 7 probands. The work shows that exercising with foam rollers and balls has a positive effect on.
|
|
|
Tester for chosen sub-standard of the IEEE 802.1Q
Avramović, Nikola ; Dvořák, Vojtěch (referee) ; Fujcik, Lukáš (advisor)
Tato práce se zabývá analyzováním IEEE 802.1Q standardu TSN skupiny a návrhem testovacího modulu. Testovací modul je napsán v jazyku VHDL a je možné jej implementovat do Intel Stratix® V GX FPGA (5SGXEA7N2F45C2) vývojové desky. Standard IEEE 802.1Q (TSN) definuje deterministickou komunikace přes Ethernet sít, v reálném čase, požíváním globálního času a správným rozvrhem vysíláním a příjmem zpráv. Hlavní funkce tohoto standardu jsou: časová synchronizace, plánování provozu a konfigurace sítě. Každá z těchto funkcí je definovaná pomocí více různých podskupin tohoto standardu. Podle definice IEEE 802.1Q standardu je možno tyto podskupiny vzájemně libovolně kombinovat. Některé podskupiny standardu nemohou fungovat nezávisle, musí využívat funkce jiných podskupin standardu. Realizace funkce podskupin standardu je možná softwarově, hardwarově, nebo jejich kombinací. Na základě výše uvedených fakt, implementace podskupin standardu, které jsou softwarově související, byly vyloučené. Taky byly vyloučené podskupiny standardů, které jsou závislé na jiných podskupinách. IEEE 802.1Qbu byl vybrán jako vhodná část pro realizaci hardwarového testu. Různé způsoby testování byly vysvětleny jako DFT, BIST, ATPG a další jiné techniky. Pro hardwarové testování byla vybrána „Protocol Aware (PA)“technika, protože tato technika zrychluje testování, dovoluje opakovanou použitelnost a taky zkracuje dobu uvedení na trh. Testovací modul se skládá ze dvou objektů (generátor a monitor), které mají implementovanou IEEE 802.1Qbu podskupinu standardu. Funkce generátoru je vygenerovat náhodné nebo nenáhodné impulzy a potom je poslat do testovaného zařízeni ve správném definovaném protokolu. Funkce monitoru je přijat ethernet rámce a ověřit jejich správnost. Objekty jsou navrhnuty stejným způsobem na „TOP“úrovni a skládají se ze čtyř modulů: Avalon MM rozhraní, dvou šablon a jednoho portu. Avalon MM rozhraní bylo vytvořeno pro komunikaci softwaru s hardwarem. Tento modul přijme pakety ze softwaru a potom je dekóduje podle definovaného protokolu a „pod-protokolu “. „Pod-protokol“se skládá z příkazu a hodnoty daného příkazu. Podle dekódovaného příkazu a hodnot daných příkazem je kontrolovaný celý objekt. Šablona se používá na generování nebo ověřování náhodných nebo nenáhodných dat. Dvě šablony byly implementovány pro expresní ověřování nebo preempční transakce, definované IEEE 802.1Qbu. Porty byly vytvořené pro komunikaci mezi testovaným zařízením a šablonou podle daného standardu. Port „generátor“má za úkol vybrat a vyslat rámce podle priority a času vysílaní. Port „monitor“přijme rámce do „content-addressable memory”, která ověřuje priority rámce a podle toho je posílá do správné šablony. Výsledky prokázaly, že tato testovací technika dosahuje vysoké rychlosti a rychlé implementace.
|
|
|
The use of methods of FMS in athletes of category U16 - U19
Sachová, Zuzana ; Kaplan, Aleš (advisor) ; Vindušková, Jitka (referee)
Title The use of methods FMS on athletes of category U16 - U19 Objectives: This thesis aims to point on the possibilities of a new method based on physio-therapeutic principles of physical preparation and training primarily of young athletes, named Functional movement screening (FMS), invented by Gray Cook. Most in particular the thesis is focused on what FMS method is and what possibilities are given to identify fundamental movement patterns of junior and teenager athletes. Short examination of the methods FMS was based on two tests invented by Gray Cook and evaluated on a group of ten athletes of category U16 - U19. Methods: The thesis comes out from two crucial works published by Gray Cook. Subsequently I resumed results found out in foreign articles and studies about methods FMS, its principles, relationship with athletic performance and prevention of injuries, as well as relevant norming data. My attention was devoted to studies focused on implementing FMS testing of young athletes. Therefore I decided to select two particular tests and conduct short testing on athletes of category U16 - U19. When scoring the quality of their movements, I've applied the criteria of the methodology itself first. Later there were extended by my own verbal evaluation of particular segments of tested movements. In...
|
guest ::
